1. Informatik :
پدیدآورنده: von Manfred Broy.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Operating systems (Computers)
2. Informatik :
پدیدآورنده: von Manfred Broy.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Computer software.,Data structures (Computer science)
رده :
QA76
.
9
.
A43
V666
1995
3. Logische und methodische Grundlagen der Programm- und Systementwicklung :
پدیدآورنده: Manfred Broy ; unter Mitarbeit von Alexander Malkis.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algebraische Spezifikation,Algorithmische Programmierung,Beweis,Datenstruktur,Funktionale Programmierung,Korrektheit,Objektorientierte Programmierung,Softwareentwicklung,Softwarespezifikation,Systementwicklung
